#ifndef __L2CACHE_H__
#define __L2CACHE_H__

#include "common.h"
#include "memory/cache_config.h"


void l2_cache_init(void);
void l2_cache_reset_stats(void);
void l2_cache_report_stats(void);

int l2_cache_read_block(hwaddr_t block_base_addr, uint8_t* dst);

void l2_cache_write(hwaddr_t addr, size_t len, uint32_t data);

#endif